|
|
Simulation of cryptographic algorithms using FPGA
Németh, František ; Mašek, Jan (referee) ; Smékal, David (advisor)
Bachelor thesis is dealing with a cipher standard AES and with a design of encryption and decryption components for AES in special modes of operation. Programming language is VHDL. In theoretical part of thesis is a further descriptions of AES and behaviour of block cipher operation modes. Furthermore the brief description of VHDL, FPGA and NetCOPE framework is a piece of theoretical part as well. The practical part contains designs which are made in developing environment Vivado from Xilinx. Programmed modes of operation are ECB, CBC, CTR and CFB. Simulation outputs and synthesis results are summerized in tables.
|
|
|
Program Instrumentation Enabling Coverage Measurement
Václavík, Jan ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
This thesis deals with the design and the implementation of the Ginstrum tool for compile time instrumentation of C programs. The tool is implemented as a GCC Plugin and instruments places in program that access memory, write to memory or call functions. The tool also provides compile information that can be used for the code coverage measurement during testing and dynamic analysis.
|
|
|
Thermodynamic analysis of processes in Hydrogen fuel cells.
Pavelka, Michal ; Maršík, František (advisor) ; Grmela, Miroslav (referee) ; Sciacovelli, Adriano (referee)
Non-equilibrium thermodynamics, which serves as a framework for formulating evolution equations of macroscopic and mesoscopic systems, is briefly reviewed and further developed in this work. For example, the relation between the General Equation for the Nonequilibrium Reversible- Irreversible Coupling (GENERIC) and (ir)reversibility is elucidated, and Onsager-Casimir reciprocal relations are shown to be an implication of GENERIC. Non-equilibrium thermodynamics is then applied to describe fuel cells and related devices, and theoretical conclusions are compared to experimental data. Moreover, a generalization of standard exergy analysis is developed bringing a new method for revealing a map of useful work losses in electricity producing devices. This method requires a non-equilibrium thermodynamic model, and so the general theory of non- equilibrium thermodynamics and optimization of real power generating devices stand side by side.
|
|
|
Variational Methods in Thermomechanics of Solids
Pelech, Petr ; Kružík, Martin (advisor) ; Dondl, Patrick (referee) ; Zeman, Jan (referee)
The thesis is devoted to study of continuum mechanics and thermodynamics and the related mathematical analysis. It consists of four self-contained chapters dealing with different aspects. The first chapter focuses on peridynamics, a non-local theory of continuum mechanics, and its relation to conventional local theory of Cauchy-Green elasticity. Similar compar- isons has been used for proving consistency and for determining some of the material coefficients in peridynamics, provided the material parameters in the local theory are known. In this chapter the formula for the non-local force-flux is computed in terms of the peridynamic interaction, relating the fundamental concepts of these two theories and establishing hence a new connection, not present in the previous works. The second and third chapters are both devoted to Rate-Independent Systems (RIS) and their applications to continuum mechanics. RIS represents a suitable approximation when the internal, viscous, and thermal effects can be neglected. RIS has been proven to be useful in modeling hysteresis, phase transitions in solids, elastoplasticity, damage, or fracture in both small and large strain regimes. In the second chapter the existence of solutions to an evolutionary rate-independ- ent model of Shape Memory Alloys (SMAs) is proven. The model...
|
|
|
Thermodynamic analysis of processes in Hydrogen fuel cells.
Pavelka, Michal
Non-equilibrium thermodynamics, which serves as a framework for formulating evolution equations of macroscopic and mesoscopic systems, is briefly reviewed and further developed in this work. For example, the relation between the General Equation for the Nonequilibrium Reversible- Irreversible Coupling (GENERIC) and (ir)reversibility is elucidated, and Onsager-Casimir reciprocal relations are shown to be an implication of GENERIC. Non-equilibrium thermodynamics is then applied to describe fuel cells and related devices, and theoretical conclusions are compared to experimental data. Moreover, a generalization of standard exergy analysis is developed bringing a new method for revealing a map of useful work losses in electricity producing devices. This method requires a non-equilibrium thermodynamic model, and so the general theory of non- equilibrium thermodynamics and optimization of real power generating devices stand side by side.
|
|
|
Variational Methods in Thermomechanics of Solids
Pelech, Petr ; Kružík, Martin (advisor) ; Dondl, Patrick (referee) ; Zeman, Jan (referee)
The thesis is devoted to study of continuum mechanics and thermodynamics and the related mathematical analysis. It consists of four self-contained chapters dealing with different aspects. The first chapter focuses on peridynamics, a non-local theory of continuum mechanics, and its relation to conventional local theory of Cauchy-Green elasticity. Similar compar- isons has been used for proving consistency and for determining some of the material coefficients in peridynamics, provided the material parameters in the local theory are known. In this chapter the formula for the non-local force-flux is computed in terms of the peridynamic interaction, relating the fundamental concepts of these two theories and establishing hence a new connection, not present in the previous works. The second and third chapters are both devoted to Rate-Independent Systems (RIS) and their applications to continuum mechanics. RIS represents a suitable approximation when the internal, viscous, and thermal effects can be neglected. RIS has been proven to be useful in modeling hysteresis, phase transitions in solids, elastoplasticity, damage, or fracture in both small and large strain regimes. In the second chapter the existence of solutions to an evolutionary rate-independ- ent model of Shape Memory Alloys (SMAs) is proven. The model...
|
|
|
Hamiltonian and thermodynamic theory of solids and fluids
Sýkora, Martin ; Pavelka, Michal (advisor) ; Klika, Václav (referee)
The standard approach to modelling mechanics of continuum based on bal- ances of mass, momentum, angular momentum and energy is a very powerful tool. However, there is no connection between that and the Hamiltonian mechanics, that superbly describes kinematics of isolated particles. Thus, the two topics are rather isolated. Nevertheless, there is another approach to continuum mechan- ics - a one, whose reversible part is based on Hamiltonian mechanics, while the irreversible is generated by a dissipation potential. This framework, called GENERIC, is thus an interesting bridge between con- tinuous and discrete systems. In this thesis, we present the GENERIC framework applied to a continuous body, derive the governing equations and compare them to the standard theory. Both analytical and numerical solutions to a decent range of model examples are presented and analysed.
|
|
|
Thermodynamic analysis of solid oxide cells
Vágner, Petr ; Maršík, František (advisor) ; Grmela, Miroslav (referee) ; Pekař, Miloslav (referee)
Thermodynamic analysis of solid oxide cells Petr Vágner The thesis deals with continuum thermodynamic modeling and analysis of phe- nomena in solid oxide electrochemical cells. A general description of the evo- lution of charged mixtures using partial mass densities, momentum density, entropy density, electric induction, magnetic field, polarization, and magnetiza- tion based on the GENERIC framework is formulated. The formulation is used to recover the Landau-Lifshitz magnetization relaxation model, the Single Re- laxation Time model for dielectrics, and the generalized Poisson-Nernst-Planck model. The latter model is consequently linked to the second part, where a novel double layer model of an yttria-stabilized zirconia interface is formulated within non-equilibrium thermodynamics. The model is solved for numerically in the time domain, and cyclic voltammetry of the system is analyzed. The last part of the thesis demonstrates the limits of Exergy Analysis on a simple solid oxide hydrogen fuel cell model with non-isothermal boundary. It is demon- strated that the minimization of entropy production does not necessarily lead to the maximization of the electric power for certain optimization scenarios. The thesis consists of a compilation of published and unpublished results of the author.
|
|
|
Thermodynamic analysis of processes in Hydrogen fuel cells.
Pavelka, Michal
Non-equilibrium thermodynamics, which serves as a framework for formulating evolution equations of macroscopic and mesoscopic systems, is briefly reviewed and further developed in this work. For example, the relation between the General Equation for the Nonequilibrium Reversible- Irreversible Coupling (GENERIC) and (ir)reversibility is elucidated, and Onsager-Casimir reciprocal relations are shown to be an implication of GENERIC. Non-equilibrium thermodynamics is then applied to describe fuel cells and related devices, and theoretical conclusions are compared to experimental data. Moreover, a generalization of standard exergy analysis is developed bringing a new method for revealing a map of useful work losses in electricity producing devices. This method requires a non-equilibrium thermodynamic model, and so the general theory of non- equilibrium thermodynamics and optimization of real power generating devices stand side by side.
|
|
|
Thermodynamic analysis of processes in Hydrogen fuel cells.
Pavelka, Michal ; Maršík, František (advisor) ; Grmela, Miroslav (referee) ; Sciacovelli, Adriano (referee)
Non-equilibrium thermodynamics, which serves as a framework for formulating evolution equations of macroscopic and mesoscopic systems, is briefly reviewed and further developed in this work. For example, the relation between the General Equation for the Nonequilibrium Reversible- Irreversible Coupling (GENERIC) and (ir)reversibility is elucidated, and Onsager-Casimir reciprocal relations are shown to be an implication of GENERIC. Non-equilibrium thermodynamics is then applied to describe fuel cells and related devices, and theoretical conclusions are compared to experimental data. Moreover, a generalization of standard exergy analysis is developed bringing a new method for revealing a map of useful work losses in electricity producing devices. This method requires a non-equilibrium thermodynamic model, and so the general theory of non- equilibrium thermodynamics and optimization of real power generating devices stand side by side.
|
guest ::
